RubyKaigi 2023: Code indexing: How language servers understand our code